Fix up the way we initialise and set the NMI heartbeat
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 13 Jan 2006 15:09:45 +0000 (16:09 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 13 Jan 2006 15:09:45 +0000 (16:09 +0100)
commitf9a0cd1238e845d00000d1dd899917cdb7145e63
treec32fe756db1e40e6fc41756ed8269d5f2944ed46
parent82f5d7e034952c4c035682c4ba8ed74158234e14
Fix up the way we initialise and set the NMI heartbeat
timers. Also, compund updates to APIC ICR and ICR2 registers
must be done with interrupts disabled to ensure local
atomicity.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/apic.c
xen/arch/x86/nmi.c
xen/arch/x86/setup.c